<?php

$dmidecode_title = gettext('Hardware information');
